Section: Partnerships and Cooperations

National Initiatives

Synchronics: Language Platform for Embedded System Design

Participants : Albert Benveniste, Benoît Caillaud.

Large scale initiative funded by Inria . http://synchronics.inria.fr/

This project, started Jan 1st 2008, is supported by Inria . It capitalizes on recent extensions of data-flow synchronous languages (mode automata, Lucid Synchrone, Signal, Lustre, ReactiveML, relaxed forms of synchronous composition or compilation techniques for various platforms). We aim to address the main challenges of embedded system design, starting from a single, semantically well founded programming language.

Our contributions to Synchronics in 2012 are:

• A journal paper [10] presenting the non-standard semantics for hybrid systems and its applications to the semantics and compilation of hybrid modeling languages. Details can be found in Section  6.2 .

• Inputs to the latest evolution of the Modelica language, related to state machines and a clock calculus.

• A study of modular code generation techniques for reactive synchronous programming languages, based on an interface theoretic approach [15] , [26] . See  6.3 for further details.